Baire space

Results: 23



#Item
11INTRODUCTION TO MANIFOLDS — I  Definitions and examples 1. Topologic spaces ♥ Definition. A topological space M is an abstract point set with explicit

INTRODUCTION TO MANIFOLDS — I Definitions and examples 1. Topologic spaces ♥ Definition. A topological space M is an abstract point set with explicit

Add to Reading List

Source URL: www.wisdom.weizmann.ac.il

Language: English - Date: 2004-03-30 09:24:34
12(August 30, [removed]Review of metric spaces Paul Garrett [removed] http://www.math.umn.edu/˜garrett/ We review the basic terminology concerning metric spaces, and prove the very important Baire category theore

(August 30, [removed]Review of metric spaces Paul Garrett [removed] http://www.math.umn.edu/˜garrett/ We review the basic terminology concerning metric spaces, and prove the very important Baire category theore

Add to Reading List

Source URL: www.math.umn.edu

Language: English - Date: 2005-08-30 18:58:16
13Natural Topology  Frank Waaldijk ú

Natural Topology Frank Waaldijk ú

Add to Reading List

Source URL: www.fwaaldijk.nl

Language: English - Date: 2012-10-16 17:40:25
14Reverse Mathematics and Π1 2 Comprehension

Reverse Mathematics and Π1 2 Comprehension

Add to Reading List

Source URL: www.ims.nus.edu.sg

Language: English - Date: 2010-01-12 23:03:21
15MATHEMATICS[removed]Functional Analysis) YEAR 2012–2013, TERM 2 HANDOUT #7: THE BAIRE CATEGORY THEOREM AND ITS

MATHEMATICS[removed]Functional Analysis) YEAR 2012–2013, TERM 2 HANDOUT #7: THE BAIRE CATEGORY THEOREM AND ITS

Add to Reading List

Source URL: www.ucl.ac.uk

Language: English - Date: 2013-03-20 10:49:28
16Comment.Math.Univ.Carolin. 43,[removed]–333  Products of Lindel¨

Comment.Math.Univ.Carolin. 43,[removed]–333 Products of Lindel¨

Add to Reading List

Source URL: www.maths.soton.ac.uk

Language: English - Date: 2010-02-10 06:38:48
17Topology via higher-order intuitionistic logic Working version of 18th March 2004 These evolving notes will eventually be used to write a paper

Topology via higher-order intuitionistic logic Working version of 18th March 2004 These evolving notes will eventually be used to write a paper

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2010-10-07 09:46:28
18GDP Festschrift  ENTCS, to appear

GDP Festschrift ENTCS, to appear

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2007-02-27 11:19:26
19140  c-16

140 c-16

Add to Reading List

Source URL: e-books.enigma.uran.ru

Language: English - Date: 2009-11-20 18:26:57
20Report from Dagstuhl Seminar[removed]Computing with Infinite Data: Topological and Logical

Report from Dagstuhl Seminar[removed]Computing with Infinite Data: Topological and Logical

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2012-01-12 03:38:24